[IA64] Fix ptc.g race
authorAlex Williamson <alex.williamson@hp.com>
Tue, 24 Apr 2007 15:07:24 +0000 (09:07 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Tue, 24 Apr 2007 15:07:24 +0000 (09:07 -0600)
commit69690e5b84653a54a6b7eb8adc8b7b03c78ae1bd
treedceb851f8f590850c3d6abde4eaa06a175a6c657
parent3a8a387d6e29a16389751dc259c8f89cc8ea5bbf
[IA64] Fix ptc.g race

If one vcpu is executing ptc.g, while the other vcpu is executing itc,
the VHPT(VTLB) entry which should be purged may unexpectedly survive.
Then issue happens.

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/vmx/vtlb.c